Paraconsistent reasoning as an analytic tool
نویسندگان
چکیده
منابع مشابه
Paraconsistent Reasoning as an Analytic Tool
The study of logic usually focuses on either the proof theoretic or the model theoretic properties of logic. Yet the pragmatics of logic is often ignored. In this paper we would like to demonstrate that a logic can be practical in the sense that it can assist us in evaluating and measuring the amount of information in an inconsistent set of data. The underlying notion of information is inspired...
متن کاملParaconsistent probabilistic reasoning
If we envisage delegating critical decisions to an autonomous computer, we should notonly endow it with common sense, but also formally verify that such a machine is programmed tosafely react in every situation, notably when the situation is depicted with uncertainty.In this thesis, I deem an uncertain situation to be a possibly inconsistent probabilistic propositionalknowledge ...
متن کاملParaconsistent default reasoning
In this paper, a novel technique called bi-default theory is proposed for handling inconsistent knowledge simultaneously in the context of default logic without leading to triviality of the extension. To this end, the positive and negative transformations of propositional formulas are defined such that the semantic link between a literal and its negation is split. It is proven that the bi-defau...
متن کاملParaconsistent Reasoning for OWL 2
A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can be implemented by invoking classical reasoners to keep the same complexity as under the classical semantics. However, this approach has so far only been studied for the basid description logic ALC. In this paper, we further stu...
متن کاملFormula - Preferential Systems for Paraconsistent Non - Monotonic Reasoning ( an extended
We provide a general framework for constructing natural consequence relations for paraconsistent and plausible nonmonotonic reasoning. The framework is based on preferential systems whose preferences are based on the satisfaction of formulas in models. The framework encompasses different types of preferential systems that were developed from different motivations of paraconsistent reasoning and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of IGPL
سال: 2001
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/9.2.217